Part 7: Symbolic Logic